Computing (FOLDOC) dictionary
Jump to user comments
A production system consists of a collection of productions
A rule becomes eligible to "fire" when its conditions match
of symbols which represent constants, which must be matched
exactly; variables which bind to the thing they match and "
symbol" which matches a field not equal to symbol. Examples